41. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
42. Computer Simulation in Chemical Physics
Author: edited by M.P. Allen, D.J. Tildesley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry, Physical and theoretical -- Computer simulation -- Congresses.,Molecular dynamics -- Computer simulation -- Congresses.,Monte Carlo method -- Congresses.
43. Constructive, experimental, and nonlinear analysis
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Number theory,Congresses ، Numerical analysis,Congresses ، Nonlinear functional analysis
Classification :
QA
241
.
C6895
2000
44. Constructive, experimental, and nonlinear analysis
Author: Michel Thera, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Number theory,Congresses ، Numerical analysis,Congresses ، Nonlinear functional analysis
Classification :
QA
241
.
C767
45. Control systems and mathematical methods in economics :
Author: Gustav Feichtinger, Raimund M. Kovacevic, Gernot Tragler, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Calculus of variations.,Control theory.,Economics.,Environmental management.,Numerical analysis.,Operations research.,Population.,Calculus of variations.,Calculus of variations.,Control theory.,Economic theory & philosophy.,Economics.,Environmental management.,Environmental management.,MATHEMATICS-- Numerical Analysis.,Numerical analysis.,Numerical analysis.,Operational research.,Operations research.,Political economy.,Population.
Classification :
QA297
46. Current research in nonlinear analysis :
Author: Themistocles M. Rassias, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Nonlinear theories.,Calculus of Variations and Optimal Control; Optimization.,Functions of a Complex Variable.,Mathematics.,Numerical Analysis.,Partial Differential Equations.,Real Functions.,Calculus of variations.,Complex analysis, complex variables.,Differential calculus & equations.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonlinear theories.,Numerical analysis.,Real analysis, real variables.
Classification :
QA427
47. Difference Equations and Discrete Dynamical Systems with Applications
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics; Difference and Functional Equations; Dynamical Systems and Ergodic Theory; Applications of Mathematics; Computational Mathematics and Numerical Analysis; Mathematical and Computational Biology; Economic Theory/Quantitative Economics/Mathemati
48. Differential Quadrature and Its Application in Engineering
Author: by Chang Shu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering mathematics.,Engineering.,Global analysis (Mathematics).
49. Differential equations and dynamical systems :
Author: Abdulla Azamov, Leonid Bunimovich, Akhtam Dzhalilov, Hong-Kun Khang, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Differential equations, Congresses.,Dynamics, Congresses.,Dynamical Systems and Ergodic Theory.,Partial Differential Equations.,Differential calculus & equations.,Differential equations.,Dynamics.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonlinear science.
Classification :
QA370
50. Differential equations, chaos and variational problems /
Author: Vasile Staicu, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Calculus of variations.,Chaotic behavior in systems.,Differential equations.
Classification :
QA371
.
D445
2008eb
51. Differential quadrature and its application in engineering /
Author: Chang Shu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Differential equations-- Numerical solutions.,Engineering mathematics.,Numerical integration.,Differential equations-- Numerical solutions.,Engineering mathematics.,Numerical integration.
Classification :
QA372
.
S454
2000
52. Dynamical Systems, Control, Coding, Computer Vision
Author: edited by Giorgio Picci, David S. Gilliam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
53. Economic evolution and demographic change :
Author: G. Haag, U. Mueller, K.G. Troitzsch (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Démographie -- Modèles mathématiques -- Congrès.,Géographie -- Modèles mathématiques -- Congrès.,Modèles économétriques -- Congrès.
Classification :
HB141
.
G433
1992
54. Encyclopedia of earthquake engineering /
Author: Michael Beer, Ioannis A. Kougioumtzoglou, Edoardo Patelli, Siu-Kui Au, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: City planning.,Civil engineering.,Earthquake engineering, Encyclopedias.,Earthquake hazard analysis, Encyclopedias.,Earthquake resistant design, Encyclopedias.,Regional planning.,Seismology, Encyclopedias.
Classification :
TA654
.
6
55. Equations of mathematical physics
Author: / [by] V. S. Vladimirov. Edited by Alan Jeffrey. Translated by Audrey Littlewood
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Differential equations- Numerical solutions,Theory of distributions (Functional analysis),Boundary value problems- Numerical solutions,Mathematical physics
Classification :
QC20
.
7
.
D5
56. Equations of mathematical physics
Author: / [by] V. S. Vladimirov
Library: Library of College of Science University of Tehran (Tehran)
Subject: Differential equations -- Numerical solutions,Theory of distributions (Functional analysis),Boundary value problems -- Numerical solutions,Mathematical physics
Classification :
QC
20
.
7
.
D5
V55
1971
57. Equations of mathematical physics
Author: Vladimirov, Vasilii Sergeevich
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Differential equations - Numerical solutions , Theory of distributions )Functional analysis( , Boundary value problems - Numerical solutions , Mathematical physics
Classification :
QC
20
.
7
.
D5
V55
1984
58. Equations of mathematical physics
Author: / V.S. Vladimirov
Library: Library of College of Science University of Tehran (Tehran)
Subject: Differential equations -- Numerical solutions,Theory of distributions (Functional analysis),Boundary value problems -- Numerical solutions,Mathematical physics
Classification :
QC
20
.
7
.
D5
V55
1984
59. Euclidean design theory /
Author: Masanori Sawa, Masatake Hirao and Sanpei Kageyama.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical statistics.,Mathematical statistics.
Classification :
QA276
.
S29
2019eb
60. Explorations in harmonic analysis :
Author: Steven G. Krantz, with the assistance of Lina Lee.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Harmonic analysis.,Harmonic analysis.
Classification :
QA403
.
K73
2009
